Higher Order Logic
英文简称 : HOL
中文全称 : 高阶逻辑
所属分类 : 无
词条简介 : 无
其他解释
- HOL : High(er) Order Language 高(er)语言
- HOL : Holiday vi. 度假
- HOL : Holland 荷兰,荷兰语
- HOL : Higher Order Loss (fiber optic cable) 高阶损失(光纤电缆)
- HOL : Harrison's Online 哈里森的在线
- HOL : Hardware Online (Danish portal) 硬件在线(丹麦门)
- HOL : Hellas Online (Greece) Hellas在线(希腊)
